Hàm secure trapdoor Hàm_trapdoor

Hàm secure trapdoor là một hàm trapdoor trong đó F là hàm một chiều, tức là có thể dễ dàng tính toán y=F(pk,x) ∀x∈X nhưng không thể tính được x từ y mà không có khóa bí mật sk hay xác suất tính được x từ y mà không có khóa bí mật sk là không đáng kể.